Rybalchenko, Andrey: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A validated LC–MS/MS method for fast detection of thiodiglycolic acid in aqueous samples

Rodin, Igor, Braun, Arcady, Stavrianidi, Andrey, Baygildiev, Timur, Rybalchenko, Igor, Shpigun, Oleg

Journal:

International Journal of Environmental & Analytical Chemistry

Year:

2016

Language:

english

File:

PDF, 1.24 MB

english, 2016

2

New Techniques for Nerve Agent Oxidation Products Determination in Environmental Water by High-Performance Liquid Chromatography-Mass Spectrometry (HPLC-MS) and Capillary Electrophoresis (CE) with Direct Ultraviolet (UV) Detection

Rodin, Igor, Stavrianidi, Andrey, Smirnov, Roman, Braun, Arkady, Shpigun, Oleg, Rybalchenko, Igor

Journal:

Environmental Forensics

Year:

2013

Language:

english

File:

PDF, 937 KB

english, 2013

3

Novel analytical approaches to determination of chemical warfare agents and related compounds for verification of nonproliferation of chemical weapons

Rybalchenko, Igor V., Rodin, Igor A., Baygildiev, Timur M., Stavrianidi, Andrey N., Braun, Arcady V., Morozik, Yury I., Shpigun, Oleg A.

Journal:

Pure & Applied Chemistry

Year:

2017

Language:

english

File:

PDF, 923 KB

english, 2017

4

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Approximation and Randomization for Quantitative Information-Flow Analysis

Köpf, Boris, Rybalchenko, Andrey

Year:

2010

Language:

english

File:

PDF, 253 KB

english, 2010

5

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Model Checking Information Flow in Reactive Systems

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 301 KB

english, 2012

6

Applying Prolog to develop distributed systems

LOPES, NUNO P., NAVARRO, JUAN A., RYBALCHENKO, ANDREY, SINGH, ATUL

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 528 KB

english, 2010

7

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Automated Methods for Proving Program Termination and Liveness

Rybalchenko, Andrey

Year:

2009

Language:

english

File:

PDF, 136 KB

english, 2009

8

Hot deformation and dynamic recrystallization of 18%Mn TWIP steels

Torganchuk, Vladimir, Rybalchenko, Olga, Dobatkin, Sergey Vladimirovich, Belyakov, Andrey, Kaibyshev, Rustam

Journal:

Advanced Engineering Materials

Year:

2020

File:

PDF, 732 KB

2020

9

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || The Reachability Problem over Infinite Graphs

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 135 KB

english, 2009

10

Lewisite metabolites detection in urine by liquid chromatography–tandem mass spectrometry

Igor Rodin, Arkady Braun, Andrey Stavrianidi, Oleg Shpigun, Igor Rybalchenko

Journal:

Journal of Chromatography B

Year:

2011

Language:

english

File:

PDF, 1.65 MB

english, 2011

11

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 596 KB

english, 2011

12

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || An Optimal Bloom Filter Replacement Based on Matrix Solving

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 195 KB

english, 2009

13

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - Termination proofs for systems code

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Year:

2006

Language:

english

File:

PDF, 175 KB

english, 2006

14

Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 596 KB

english, 2011

15

From Corannulene to Indacenopicene: Effect of Carbon Framework Topology on Aromaticity and Reduction Limits

Spisak, Sarah N., Li, Jingbai, Rogachev, Andrey Yu., Wei, Zheng, Papaianina, Olena, Amsharov, Konstantin, Rybalchenko, Alexey V., Goryunkov, Alexey A., Petrukhina, Marina A.

Journal:

Organometallics

Year:

2016

Language:

english

File:

PDF, 3.47 MB

english, 2016

16

Verifying liveness for asynchronous programs

Ganty, Pierre, Majumdar, Rupak, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 316 KB

english, 2009

17

Predicate abstraction and refinement for verifying multi-threaded programs

Gupta, Ashutosh, Popeea, Corneliu, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 567 KB

english, 2011

18

Model checking Duration Calculus: a practical approach

Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 469 KB

english, 2008

19

Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 596 KB

english, 2012

20

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 251 KB

english, 2012

21

From tests to proofs

Ashutosh Kumar Gupta, Rupak Majumdar, Andrey Rybalchenko

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 518 KB

english, 2013

22

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || On Models of a Nondeterministic Computation

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 191 KB

english, 2009

23

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Predicate abstraction and refinement for verifying multi-threaded programs

Gupta, Ashutosh, Popeea, Corneliu, Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 567 KB

english, 2011

24

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Path invariants

Beyer, Dirk, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

25

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Year:

2007

Language:

english

File:

PDF, 283 KB

english, 2007

26

[Lecture Notes in Computer Science] Verified Software: Theories, Tools, Experiments Volume 8164 || Formal Verification of Loop Bound Estimation for WCET Analysis

Cohen, Ernie, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 603 KB

english, 2014

27

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Reduction for compositional verification of multi-threaded programs

Popeea, Corneliu, Rybalchenko, Andrey, Wilhelm, Andreas

Year:

2014

Language:

english

File:

PDF, 633 KB

english, 2014

28

Preface: Special Issue on Interpolation

Kroening, Daniel, Rybalchenko, Andrey

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 303 KB

english, 2016

29

Proving non-termination

Gupta, Ashutosh, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey, Xu, Ru-Gang

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

30

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Proving non-termination

Gupta, Ashutosh, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey, Xu, Ru-Gang

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

31

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Proving that programs eventually do something good

Cook, Byron, Gotsman, Alexey, Podelski, Andreas, Rybalchenko, Andrey, Vardi, Moshe Y.

Year:

2007

Language:

english

File:

PDF, 633 KB

english, 2007

32

Proving program termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 3.55 MB

english, 2011

33

[ACM Press the 13th international ACM SIGPLAN symposium - Odense, Denmark (2011.07.20-2011.07.22)] Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11 - Towards automatic synthesis of software verification tools

Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 315 KB

english, 2011

34

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Verifying liveness for asynchronous programs

Ganty, Pierre, Majumdar, Rupak, Rybalchenko, Andrey

Year:

2008

Language:

english

File:

PDF, 316 KB

english, 2008

35

Constraint solving for interpolation

Andrey Rybalchenko, Viorica Sofronie-Stokkermans

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 547 KB

english, 2010

36

The influence of ultrafine‐grained structure on the mechanical properties and biocompatibility of austenitic stainless steels

Rybalchenko, Olga V., Anisimova, Natalia Yu., Kiselevsky, Mikhail V., Belyakov, Andrey N., Tokar, Aleksei A., Terent'ev, Vladimir F., Prosvirnin, Dmitry V., Rybalchenko, Georgy V., Raab, Georgi I., Do

Journal:

Journal of Biomedical Materials Research Part B: Applied Biomaterials

Year:

2019

File:

PDF, 2.54 MB

2019

37

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 ||

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 5.87 MB

english, 2012

38

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || Concatenation of Regular Languages and Descriptional Complexity

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 272 KB

english, 2009

39

Hydrophilic Interaction Liquid Chromatography Tandem Mass Spectrometry Methylphosphonic Acid Determination in Water Samples after Derivatization withp-Bromophenacyl Bromide

Rodin, Igor, Baygildiev, Timur, Stavrianidi, Andrey, Braun, Arcady, Rybalchenko, Igor, Shpigun, Oleg

Journal:

Chromatographia

Year:

2015

Language:

english

File:

PDF, 622 KB

english, 2015

40

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Synthesizing software verifiers from proof rules

Grebenshchikov, Sergey, Lopes, Nuno P., Popeea, Corneliu, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 608 KB

english, 2012

41

Path invariants

Beyer, Dirk, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

42

Structure and Fatigue Properties of Cr-Ni-Ti Austenitic Steel after Equal Channel Angular Pressing

Dobatkin, Sergey V., Skrotzki, Werner, Terent’ev, Vladimir, Rybalchenko, Olga, Belyakov, Andrey, Prosvirnin, Dmitry, Zolotarev, Eugenie

Journal:

Materials Science Forum

Year:

2014

Language:

english

File:

PDF, 1.39 MB

english, 2014

43

Proving that programs eventually do something good

Cook, Byron, Gotsman, Alexey, Podelski, Andreas, Rybalchenko, Andrey, Vardi, Moshe Y.

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 633 KB

english, 2007

44

Summarization for termination: no return!

Byron Cook, Andreas Podelski, Andrey Rybalchenko

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 520 KB

english, 2009

45

[IEEE 2009 30th IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2009.05.17-2009.05.20)] 2009 30th IEEE Symposium on Security and Privacy - Automatic Discovery and Quantification of Information Leaks

Backes, Michael, Köpf, Boris, Rybalchenko, Andrey

Year:

2009

Language:

english

File:

PDF, 247 KB

english, 2009

46

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Loop Invariant Symbolic Execution for Parallel Programs

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 303 KB

english, 2012

47

Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 283 KB

english, 2007

48

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - CTL+FO verification as constraint solving

Beyene, Tewodros A., Brockschmidt, Marc, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 309 KB

english, 2014

49

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A constraint-based approach to solving games on infinite graphs

Beyene, Tewodros, Chaudhuri, Swarat, Popeea, Corneliu, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 584 KB

english, 2014

50

Transition predicate abstraction and fair termination

Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 525 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски